using System.Collections.Generic;

concept C1[T] {}

concept C2[T, S, U] {}

concept C2_bad[T, S, T] {}